interface i<>implements K {}